International Conference on Functional Programming - PDFSEARCH.IO - Document Search Engine

International Conference on Functional Programming
Results: 84

#	Item
21	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
22	ACM_UNIV_SRC_MSR_EventPoster0813 Add to Reading List Source URL: src.acm.org Language: English SRC International Conference on Functional Programming Computing
23	www.opnff.net April 2008 Newsletter Connecting the Dots Between Research, Practice and Policy by Calvin Williams, OPNFF President Add to Reading List Source URL: www.opnff.net Language: English - Date: 2009-01-16 22:31:46 International Conference on Functional Programming Program evaluation Policy Science Evaluation Sociology Functional programming
24	Call for Papers ICFP 2001: International Conference on Functional Programming Firenze, Italy, 3–5 September 2001 associated with PLI 2001: Colloquium on Principles, Logics and Implementation of High-Level Programming Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2001-03-08 04:09:54 International Conference on Functional Programming Computer science Association for Computing Machinery Continuation Programming language Programming paradigm Software engineering Computing Functional programming
25	01 Back Home>Recent Press>Pearl Walking Map>Special Events Venues First Thursday>PDBA Members>Contact Us>Site Map Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:40 Bivalves Gastropods Gemstones Molluscs Pearl International Conference on Functional Programming Oyster Jon Bentley Phyla Protostome Taxonomy
26	01 Back Home>Recent Press>Pearl Walking Map>Special Events Venues First Thursday>PDBA Members>Contact Us>Site Map Add to Reading List Source URL: icfp06.cs.uchicago.edu Language: English - Date: 2006-10-11 10:38:33 Bivalves Gastropods Gemstones Molluscs Pearl International Conference on Functional Programming Oyster Jon Bentley Phyla Protostome Taxonomy
27	Call for Papers ICFP 2008: International Conference on Functional Programming Victoria, BC, Canada, 22–24 September 2008 Conference Chair James Hook Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:39 Functional programming International Conference on Functional Programming Association for Computing Machinery Continuation ICFP Programming Contest SIGPLAN Call for papers XPL Partial evaluation Software engineering Computing Computer programming
28	ICFP 2008 Summary Schedule Saturday, September 20, 2008 Continental Breakfast 08:00 – 09:00 09:00 – 10:30 Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:37 Functional programming International Conference on Functional Programming QuickCheck Defun Generic programming Erlang Computing Software engineering Computer programming
29	ICFP 2008 Final Program Monday, Sep 22, 2008 Invited Talk (Chair: Peter Thiemann) 9:00 Lazy and Speculative Execution in Computer Systems Butler Lampson; Microsoft Research Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:37 Functional programming Functional languages Year of birth missing Type theory ICFP Programming Contest Generic programming Bluespec Inc. Haskell International Conference on Functional Programming Software engineering Computing Programming language theory
30	λ ICFPEdinburgh, Scotland Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-25 12:06:46 Computing International Conference on Functional Programming SIGPLAN Haskell Generic programming Philip Wadler Declarative programming Software engineering Functional programming